Fiche membre | Laboratoire des Sciences du Numérique de Nantes

Benoit DELAHAYE

ENSEIGNANT-CHERCHEUR

HDR

: Benoit.Delahayeatls2n.fr

Page pro : http://pagesperso.ls2n.fr/~delahaye-b/

Adresse :

Université de Nantes - faculté des Sciences et Techniques ( FST )
Petit Port
2 Chemin de la Houssinière
BP 92208
44322 Nantes Cedex 3

Batiment 11, étage 2, bureau 218

Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

[1] D. Julien, G. Ardourel, G. Cantin, B. Delahaye. End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models. In ACM Transactions on Modeling and Computer Simulation ; éd. Association for Computing Machinery, 2024.
https://hal.science/hal-04478120

[2] �. André, B. Delahaye, P. Fournier. Consistency in Parametric Interval Probabilistic Timed Automata. In Journal of Logical and Algebraic Methods in Programming ; éd. Elsevier, 2020.
https://hal.science/hal-02154775

[3] S. Ramondenc, D. Eveillard, L. Guidi, F. Lombard, B. Delahaye. Probabilistic modeling to estimate jellyfish ecophysiological properties and size distributions. In Scientific Reports ; éd. Nature Publishing Group, 2020, vol. 10, num. 1.
https://hal.science/hal-02539195

[4] M. Aouadhi, B. Delahaye, A. Lanoix. Introducing Probabilistic Reasoning within Event-B. In Software and Systems Modeling ; éd. Springer Verlag, 2019.
https://hal.science/hal-01610778

[5] J. Fiadeiro, A. Lopes, B. Delahaye, A. Legay. Dynamic networks of heterogeneous timed machines. In Mathematical Structures in Computer Science ; éd. Cambridge University Press (CUP), 2018, vol. 28, num. 06.
https://hal.science/hal-01917079

[6] A. Bart, B. Delahaye, P. Fournier, D. Lime, E. Monfroy, C. Truchet. Reachability in parametric Interval Markov Chains using constraints. In Theoretical Computer Science ; éd. Elsevier, 2018, vol. 747.
https://hal.science/hal-01917092

[7] B. Delahaye, D. Eveillard, N. Bouskill. On the Power of Uncertainties in Microbial System Modeling: No Need To Hide Them Anymore. In mSystems, vol. 2, num. 6. 05-12-2017
https://hal.science/hal-01658218

[8] A. Nouri, S. Bensalem, M. Bozga, B. Delahaye, C. Jegourel, A. Legay. Statistical model checking QoS properties of systems with SBIP. In International Journal on Software Tools for Technology Transfer ; éd. Springer Verlag, 2014.
https://inria.hal.science/hal-01087822

[9] B. Delahaye, K. Larsen, A. Legay. Stuttering for Abstract Probabilistic Automata. In Journal of Logic and Algebraic Programming ; éd. Elsevier, 2014.
https://hal.science/hal-01084342

[10] B. Delahaye, U. Fahrenberg, K. Larsen, A. Legay. Refinement and Difference for Probabilistic Automata. In Logical Methods in Computer Science ; éd. Logical Methods in Computer Science Association, 2014.
https://hal.science/hal-01010866

[11] A. Basu, S. Bensalem, M. Bozga, B. Delahaye, A. Legay. Statistical abstraction and model-checking of Large Heterogeneous Systems. In International Journal on Software Tools for Technology Transfer ; éd. Springer Verlag, 2012, vol. 14, num. 1.
https://hal.science/hal-00722489

[12] B. Delahaye, B. Caillaud, A. Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects. In Formal Methods in System Design ; éd. Springer Verlag, 2011, vol. 38, num. 1.
https://inria.hal.science/inria-00554307

[13] B. Caillaud, B. Delahaye, K. Larsen, A. Legay, M. Pedersen, A. Wasowski. Constraint Markov Chains. In Theoretical Computer Science ; éd. Elsevier, 2011, vol. 412, num. 34.
https://inria.hal.science/hal-00654003

Conférences internationales avec comité de lecture et actes (COMM_INT)

[14] D. Julien, G. Cantin, B. Delahaye. End-to-End Statistical Model Checking for Parametric ODE Models. In QEST: International Conference on Quantitative Evaluation of Systems, septembre 2022, Warsaw, Pologne.
https://hal.science/hal-03824899

[15] D. Antakly, B. Delahaye, P. Leray. Graphical event model learning and verification for security assessment. In 32th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2019), 2019, Graz, Autriche.
https://hal.science/hal-02129161

[16] �. André, B. Delahaye, P. Fournier, D. Lime. Parametric Timed Broadcast Protocols. In 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), janvier 2019, Lisboa, Portugal.
https://hal.science/hal-01961497

[17] R. Bao, C. Attiogbe, B. Delahaye, P. Fournier, D. Lime. Parametric Statistical Model Checking of UAV Flight Plan. In 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), juin 2019, Copenhagen, Danemark.In Jorge A. Pérez (éds.), . Springer International Publishing, 2019.
https://inria.hal.science/hal-02313737

[18] M. Aouadhi, B. Delahaye, A. Lanoix. Moving from Event-B to Probabilistic Event-B. In 32nd ACM SIGAPP Symposium On Applied Computing, avril 2017, Marrakech, Maroc.
https://hal.science/hal-01590903

[19] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems, septembre 2017, Berlin, Allemagne.
https://hal.science/hal-01591036

[20] B. Delahaye, D. Lime, L. Petrucci. Parameter Synthesis for Parametric Interval Markov Chains. In 17th International Conference on Verification, Model Checking, and Abstract Interpretation, janvier 2016, Saint Petersburg, Forida, états-Unis.
https://hal.science/hal-01590884

[21] Y. Emzivat, B. Delahaye, D. Lime, O. Roux. Probabilistic Time Petri Nets. In 37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, juin 2016, Torun, Pologne.
https://hal.science/hal-01590900

[22] E. André, B. Delahaye. Consistency in Parametric Interval Probabilistic Timed Automata. In 23rd International Symposium on Temporal Representation and Reasoning, octobre 2016, Copenhagen, Danemark.
https://hal.science/hal-01590892

[23] B. Delahaye. Consistency for Parametric Interval Markov Chains. In 2nd International Workshop on Synthesis of Complex Parameters, avril 2015, London, Royaume-Uni.
https://hal.science/hal-01140752

[24] B. Delahaye, J. Fiadeiro, A. Legay, A. Lopes. Heterogeneous Timed Machines. In 11th International Colloquium on Theoretical Aspects of Computing, septembre 2014, Bucharest, France.
https://hal.science/hal-01010877

[25] B. Delahaye, J. Fiadeiro, A. Legay, A. Lopes. A Timed Component Algebra for Services. In 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), juin 2013, Florence, Italie.In Dirk Beyer (éds.), . Springer, 2013.
https://inria.hal.science/hal-01515250

[26] B. Delahaye, U. Fahrenberg, K. Larsen, A. Legay. Refinement and Difference for Probabilistic Automata. In QEST 2013 - 10th International Conference Quantitative Evaluation of Systems, août 2013, Buenos Aires, Argentine.In Kaustubh Joshi (éds.), . Springer, 2013.
https://inria.hal.science/hal-01087931

[27] N. Beneš, B. Delahaye, U. Fahrenberg, J. Křetínský, A. Legay. Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. In CONCUR 2013 - 24th International Conference Concurrency Theory, août 2013, Buenos Aires, Argentine.In Pedro R. D’Argenio (éds.), . Springer, 2013.
https://inria.hal.science/hal-01087914

[28] S. Bensalem, M. Bozga, B. Delahaye, C. Jégourel, A. Legay, A. Nouri. Statistical Model Checking QoS properties of Systems with SBIP. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, octobre 2012, Heraklion, Grèce.In Tiziana Margaria and Bernhard Steffen (éds.), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Springer, 2012.
https://hal.science/hal-00847827

[29] B. Delahaye, B. Caillaud, A. Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.. In 10th International Conference on Application of Concurrency to System Design (ACSD), juin 2010, Braga, Portugal.
https://inria.hal.science/inria-00554297

[30] B. Caillaud, B. Delahaye, K. Larsen, A. Legay, M. Pedersen, A. Wasowski. Compositional design methodology with constraint Markov chains. In QEST 2010, septembre 2010, Williamsburg, Virginia, états-Unis.
https://inria.hal.science/inria-00591578

[31] A. Legay, B. Delahaye, S. Bensalem. Statistical Model Checking: An Overview. In Runtime Verification, novembre 2010, Malta, Malte.
https://inria.hal.science/inria-00591593

[32] A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye, A. Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. In Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), juin 2010, Amsterdam, Pays-Bas.In John Hatcliff; Elena Zucca (éds.), . Springer, 2010.
https://inria.hal.science/inria-00554321v2

[33] A. Basu, S. Bensalem, M. Bozga, B. Delahaye, A. Legay, E. Sifakis. Verification of an AFDX infrastructure using simulation and probabilities. In Runtime Verification - First International Conference, RV 2010, novembre 2010, St. Julians, Malte.In Howard Barringer, Yli{è}s Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky and Nikolai Tillmann (éds.), Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Springer, 2010.
https://hal.science/hal-00557717

Conférences nationales avec comité de lecture et actes (COMM_NAT)

[34] A. Bart, B. Delahaye, E. Monfroy, C. Truchet. Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.
https://hal.science/hal-01555755

Theses et HDR (THESE)

[35] B. Delahaye. Modeling and Verification of Systems with Uncertainties.
https://hal.science/tel-03636882

[36] B. Delahaye. Modular Specification and Compositional Analysis of Stochastic Systems. Thèses : Université Rennes 1.
https://theses.hal.science/tel-00591609

Autres publications (AUTRES)

[37] M. Aouadhi, B. Delahaye, A. Lanoix. A Fully Probabilistic Extension of Event-B. Rapport technique, 2016 ; LINA-University of Nantes.
https://hal.science/hal-01255753

[38] M. Aouadhi, B. Delahaye, A. Lanoix. Moving from Event-B to probabilistic Event-B. Rapport technique, 2016 ; LINA-University of Nantes.
https://hal.science/hal-01316610v2

[39] M. Aouadhi, B. Delahaye, A. Lanoix. About Probabilistic Event-B. Rapport technique, 2015 ; LINA-University of Nantes.
https://hal.science/hal-01151594v2

[40] B. Delahaye, A. Legay, S. Sedwards. A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes. Rapport technique, 2013 ; .
https://inria.hal.science/hal-00856704

[41] A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye, A. Legay. Statistical abstraction and model-checking of large heterogeneous systems. Rapport technique, 2010 ; INRIA.
https://inria.hal.science/inria-00466158

[42] B. Caillaud, B. Delahaye, K. Larsen, A. Legay, M. Pedersen, A. Wasowski. Compositional Design Methodology with Constraint Markov Chains. Rapport technique, 2009 ; INRIA.
https://inria.hal.science/inria-00404304v2

[43] B. Delahaye, B. Caillaud, A. Legay. Compositional Reasoning on (Probabilistic) Contracts. Rapport technique, 2009 ; INRIA.
https://inria.hal.science/inria-00398985

[44] B. Delahaye, B. Caillaud. A Model for Probabilistic Reasoning on Assume/Guarantee Contracts. Rapport technique, 2008 ; INRIA.
https://inria.hal.science/inria-00337538